Using Constraints to Detect Equivalent Mutants
نویسندگان
چکیده
Mutation testing is a software testing technique that is considered to be very powerful, but is very expensive to apply. One open problem in mutation testing is how to automatically detect equivalent mutant programs. Currently, equivalent mutants are detected by hand, which makes it a very expensive and time-consuming process, and restricts the use of mutation testing. This paper presents a technique that uses mathematical constraints to automatically detect equivalent mutants. A tool Equivalencer has been developed to demonstrate this technique, and experimental results from using this tool are presented. Supported by the National Science Foundation under grant CCR-93-11967.
منابع مشابه
Using Compiler Optimization Techniques to Detect Equivalent Mutants
Mutation analysis is a software testing technique that requires the tester to generate test data that will nd speciic, well-deened errors. Mutation testing executes many slightly diiering versions, called mutants, of the same program to evaluate the quality of the data used to test the program. Although these mutants are generated and executed eeciently by automated methods, many of the mutants...
متن کاملA Novel Approach to Detect Equivalent Mutants Using Control Flow Graph
INTERNATIONAL JOURNAL OF ENGINEERING SCIENCES & RESEARCH TECHNOLOGY A NOVEL APPROACH TO DETECT EQUIVALENT MUTANTS USING CONTROL FLOW GRAPH Rupinder Kaur*, Sanjay Tyagi * Research scholar,Department of Computer Science and Applications, Kurukshetra University, Kurukshetra, Haryana-136119 Assistant Professor,Department of Computer Science and Applications, Kurukshetra University, Kurukshetra, Har...
متن کاملAutomatically Detecting Equivalent Mutants and Infeasible Paths
Mutation testing is a technique for testing software units that has great potential for improving the quality of testing, and thereby increasing our ability to assure the high reliability of critical software. It will be shown that recent advances in mutation research have brought a practical mutation testing system closer to reality. One recent advance is a partial solution to the problem of a...
متن کاملRETURN Integer IS RETURN Integer ISMinVal
Mutation testing is a technique for testing software units that has great potential for improving the quality of testing, and thereby increasing our ability to assure the high reliability of critical software. It will be shown that recent advances in mutation research have brought a practical mutation testing system closer to reality. One recent advance is a partial solution to the problem of a...
متن کاملA survey on mutation testing methods, fault classifications and automatic test cases generation
Introduction Mutation testing (MT), though very expensive, is reported an effective measurement for quality of a test suite and superior to common place assessments such as coverage metrics. Surviving mutations, not found by test suite, mixes most valuable and least valuable mutations in one set. Therefore, when one assesses surviving mutants, one must first eliminate equivalent mutants. In an ...
متن کامل